搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

	Advances in catalyst design : proceedings of the Workshop on Catalyst Design, Trieste, Italy, 11-13 December 1990 0 索取号：O643.3-53/E992 作者：Workshop on Catalyst Design (1990 : Trieste、 Italy)、Graziani、 M.、Rao、 C. N. R. (Chintamani Nagesa Ramachandra)、 1934-、International Centre for Science and High Technology.、出版社：Singapore ; Teaneck, N.J : World Scientific, 1991.		Stochastic nonlinear systems in physics, chemistry, and biology : proceedings of the workshop, Bielefeld, Fed. Rep. of Germany, October 5-11, 1980 0 索取号：O411-53/E902 作者：出版社：Berlin ; New York : Springer-Verlag, 1981.
	Gene expression : regulation at the RNA and protein levels 0 索取号：Q5-53/E901 作者：Biochemical Society (Great Britain). Symposium (55th : 1988 : University of Nottingham)、Kay、 J. (John)、Ballard、 F. J.、Mayer、 R. J.、出版社：London : Biochemical Society, 1989.		Messenger RNA and ribosomes in protein synthesis 0 索取号：Q5-53/E904 作者：Biochemical Society (Great Britain). Symposium (47th : 1981 : King's College、 University of London)、Phelps、 C. F. (Charles Frederick)、Arnstein、 H. R. V.、出版社：London : Biochemical Society, 1982.
	Gene expression : proceedings of a Cetus-UCLA symposium held at Park City, Utah, March 26-April 1, 1983 0 索取号：Q343-53/E904 作者：出版社：New York : A.R. Liss, 1983.		Computer aided chemical thermodynamics of gases and liquids : theory, models, and programs 0 索取号：O642/E903 作者：Benedek、 ṔАl.、Olti、 Francis.、出版社：New York : Wiley, c1985.
	Quantum chemistry : the challenge of transition metals and coordination chemistry 0 索取号：O641.15-53/E901 作者：NATO Advanced Research Workshop and the 40th International Meeting of the SocíЕt́Е de chimie physique: The Challenge of Transition Metals and Coordination Chemistry (1985 : Strasbourg、 France)、Veillard、 A.、 1934-、North Atlantic Treaty Organization. Scientific Affairs Division.、SocíЕt́Е de chimie physique. International Meeting (40th : 1985 : Strasbourg、 France)、出版社：Dordrecht ; Boston : D. Reidel Pub. Co. ; Hingham, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986.		Ir genes : past, present, and future 0 索取号：Q343/E9010 作者：Ir Gene Workshop (5th : 1982 : Saint Louis、 Mo.)、Pierce、 Carl W.、出版社：Clifton, N.J. : Humana Press, c1983.
	Human gene transfer : proceedings of the International Workshop on Human Gene Transfer held at the CĥАteau de Montvillargenne, Gouvieux-Chantilly (France) April 11-13, 1991 = Transfert de g̀Еnes chez l'homme 0 索取号：Q343/E996 作者：International Workshop on Human Gene Transfer (1991 : Gouvieux、 France and Chantilly、 France)、Cohen-Haguenauer、 Odile.、Boiron、 Michel.、Institut national de la sant́Е et de la recherche ḿЕdicale (France)、出版社：Montrouge, France : J. Libbey Eurotext ; Paris, France : Editions INSERM, 1991.		Mass spectrometry of large molecules : lectures of a course held at the Joint Research Centre, Ispra (Italy), 5-9 September 1983 0 索取号：O641.13/E902 作者：出版社：Amsterdam ; New York : Published for the Commission of the European Communities by Elsevier, 1985.
	Biochemistry of the cell nucleus : [symposium] held at University College London, July 1976 0 索取号：Q26-53/E801 作者：出版社：London : Biochemical Society, 1977.		Free radicals in synthesis and biology 0 索取号：Q5/E9026 作者：NATO Advanced Research Workshop on Free Radicals in Synthesis and Biology (1988 : Bardolino、 Italy)、Minisci、 Francesco.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Dordrecht, Netherlands ; Boston : Kluwer Academic, c989.
	Quantum chemistry : basic aspects, actual trends : proceedings of an International Workshop on Quantum Chemistry, Girona, Spain, 13-18 June 1988 0 索取号：O641.12-53/E901 作者：International Workshop on Quantum Chemistry (1988 : Gerona、 Spain)、Carb́О、 RaḿОn.、出版社：Amsterdam ; New York : Elsevier ; New York, NY, U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1989.		Current aspects of quantum chemistry, 1981 : proceedings of an international conference and workshop, Barcelona, Spain, 28 September-3 October 1981 0 索取号：O641.12-53/E902 作者：出版社：Amsterdam ; New York : Elsevier Scientific Pub. Co., 1982.
	ETO multicenter molecular integrals : proceedings of the first international conference held at Florida A&M University, Tallahassee, Florida, U.S.A., August 3-6, 1981 0 索取号：O641.12/E9010 作者：出版社：London: Dordrecht, Holland ; Boston : Reidel Publishing Com., D. Reidel, c1982.		Geostatistics, a colloquium : proceedings of a colloquium on geostatistics held on campus at the University of Kansas, Lawrence on 7-9, June 1970 0 索取号：P5-32-53/E801 作者：Merriam、 Daniel Francis、 ed.、Kansas Geological Survey.、International Association for Mathematical Geology.、University of Kansas. University Extension Division.、出版社：New York, Plenum Press, 1970.

	Advances in catalyst design : proceedings of the Workshop on Catalyst Design, Trieste, Italy, 11-13 December 1990 0 索取号：O643.3-53/E992 作者：Workshop on Catalyst Design (1990 : Trieste、 Italy)、Graziani、 M.、Rao、 C. N. R. (Chintamani Nagesa Ramachandra)、 1934-、International Centre for Science and High Technology.、出版社：Singapore ; Teaneck, N.J : World Scientific, 1991.		Stochastic nonlinear systems in physics, chemistry, and biology : proceedings of the workshop, Bielefeld, Fed. Rep. of Germany, October 5-11, 1980 0 索取号：O411-53/E902 作者：出版社：Berlin ; New York : Springer-Verlag, 1981.
	Gene expression : regulation at the RNA and protein levels 0 索取号：Q5-53/E901 作者：Biochemical Society (Great Britain). Symposium (55th : 1988 : University of Nottingham)、Kay、 J. (John)、Ballard、 F. J.、Mayer、 R. J.、出版社：London : Biochemical Society, 1989.		Messenger RNA and ribosomes in protein synthesis 0 索取号：Q5-53/E904 作者：Biochemical Society (Great Britain). Symposium (47th : 1981 : King's College、 University of London)、Phelps、 C. F. (Charles Frederick)、Arnstein、 H. R. V.、出版社：London : Biochemical Society, 1982.
	Gene expression : proceedings of a Cetus-UCLA symposium held at Park City, Utah, March 26-April 1, 1983 0 索取号：Q343-53/E904 作者：出版社：New York : A.R. Liss, 1983.		Computer aided chemical thermodynamics of gases and liquids : theory, models, and programs 0 索取号：O642/E903 作者：Benedek、 ṔАl.、Olti、 Francis.、出版社：New York : Wiley, c1985.
	Quantum chemistry : the challenge of transition metals and coordination chemistry 0 索取号：O641.15-53/E901 作者：NATO Advanced Research Workshop and the 40th International Meeting of the SocíЕt́Е de chimie physique: The Challenge of Transition Metals and Coordination Chemistry (1985 : Strasbourg、 France)、Veillard、 A.、 1934-、North Atlantic Treaty Organization. Scientific Affairs Division.、SocíЕt́Е de chimie physique. International Meeting (40th : 1985 : Strasbourg、 France)、出版社：Dordrecht ; Boston : D. Reidel Pub. Co. ; Hingham, MA, U.S.A. : Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986.		Ir genes : past, present, and future 0 索取号：Q343/E9010 作者：Ir Gene Workshop (5th : 1982 : Saint Louis、 Mo.)、Pierce、 Carl W.、出版社：Clifton, N.J. : Humana Press, c1983.
	Human gene transfer : proceedings of the International Workshop on Human Gene Transfer held at the CĥАteau de Montvillargenne, Gouvieux-Chantilly (France) April 11-13, 1991 = Transfert de g̀Еnes chez l'homme 0 索取号：Q343/E996 作者：International Workshop on Human Gene Transfer (1991 : Gouvieux、 France and Chantilly、 France)、Cohen-Haguenauer、 Odile.、Boiron、 Michel.、Institut national de la sant́Е et de la recherche ḿЕdicale (France)、出版社：Montrouge, France : J. Libbey Eurotext ; Paris, France : Editions INSERM, 1991.		Mass spectrometry of large molecules : lectures of a course held at the Joint Research Centre, Ispra (Italy), 5-9 September 1983 0 索取号：O641.13/E902 作者：出版社：Amsterdam ; New York : Published for the Commission of the European Communities by Elsevier, 1985.
	Biochemistry of the cell nucleus : [symposium] held at University College London, July 1976 0 索取号：Q26-53/E801 作者：出版社：London : Biochemical Society, 1977.		Free radicals in synthesis and biology 0 索取号：Q5/E9026 作者：NATO Advanced Research Workshop on Free Radicals in Synthesis and Biology (1988 : Bardolino、 Italy)、Minisci、 Francesco.、North Atlantic Treaty Organization. Scientific Affairs Division.、出版社：Dordrecht, Netherlands ; Boston : Kluwer Academic, c989.
	Quantum chemistry : basic aspects, actual trends : proceedings of an International Workshop on Quantum Chemistry, Girona, Spain, 13-18 June 1988 0 索取号：O641.12-53/E901 作者：International Workshop on Quantum Chemistry (1988 : Gerona、 Spain)、Carb́О、 RaḿОn.、出版社：Amsterdam ; New York : Elsevier ; New York, NY, U.S.A. : Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1989.		Current aspects of quantum chemistry, 1981 : proceedings of an international conference and workshop, Barcelona, Spain, 28 September-3 October 1981 0 索取号：O641.12-53/E902 作者：出版社：Amsterdam ; New York : Elsevier Scientific Pub. Co., 1982.
	ETO multicenter molecular integrals : proceedings of the first international conference held at Florida A&M University, Tallahassee, Florida, U.S.A., August 3-6, 1981 0 索取号：O641.12/E9010 作者：出版社：London: Dordrecht, Holland ; Boston : Reidel Publishing Com., D. Reidel, c1982.		Geostatistics, a colloquium : proceedings of a colloquium on geostatistics held on campus at the University of Kansas, Lawrence on 7-9, June 1970 0 索取号：P5-32-53/E801 作者：Merriam、 Daniel Francis、 ed.、Kansas Geological Survey.、International Association for Mathematical Geology.、University of Kansas. University Extension Division.、出版社：New York, Plenum Press, 1970.